extension | φ:Q→Out N | d | ρ | Label | ID |
(S3xC10).1C23 = D20.39D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | 4- | (S3xC10).1C2^3 | 480,1077 |
(S3xC10).2C23 = C2xD12:D5 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | | (S3xC10).2C2^3 | 480,1079 |
(S3xC10).3C23 = C30.C24 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | 4 | (S3xC10).3C2^3 | 480,1080 |
(S3xC10).4C23 = C2xD12:5D5 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | | (S3xC10).4C2^3 | 480,1084 |
(S3xC10).5C23 = D5xC4oD12 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).5C2^3 | 480,1090 |
(S3xC10).6C23 = D20:24D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).6C2^3 | 480,1092 |
(S3xC10).7C23 = D20:25D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).7C2^3 | 480,1093 |
(S3xC10).8C23 = D20:26D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).8C2^3 | 480,1094 |
(S3xC10).9C23 = D20:29D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 4+ | (S3xC10).9C2^3 | 480,1095 |
(S3xC10).10C23 = C15:2- 1+4 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | 8- | (S3xC10).10C2^3 | 480,1096 |
(S3xC10).11C23 = D5xD4:2S3 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8- | (S3xC10).11C2^3 | 480,1098 |
(S3xC10).12C23 = S3xD4:2D5 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8- | (S3xC10).12C2^3 | 480,1099 |
(S3xC10).13C23 = D30.C23 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8+ | (S3xC10).13C2^3 | 480,1100 |
(S3xC10).14C23 = D20:13D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8- | (S3xC10).14C2^3 | 480,1101 |
(S3xC10).15C23 = D20:14D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8+ | (S3xC10).15C2^3 | 480,1102 |
(S3xC10).16C23 = D12:14D10 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8+ | (S3xC10).16C2^3 | 480,1103 |
(S3xC10).17C23 = D12.29D10 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | 8- | (S3xC10).17C2^3 | 480,1106 |
(S3xC10).18C23 = D5xQ8:3S3 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8+ | (S3xC10).18C2^3 | 480,1108 |
(S3xC10).19C23 = D20:16D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8- | (S3xC10).19C2^3 | 480,1110 |
(S3xC10).20C23 = D20:17D6 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 8+ | (S3xC10).20C2^3 | 480,1111 |
(S3xC10).21C23 = C2xC30.C23 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | | (S3xC10).21C2^3 | 480,1114 |
(S3xC10).22C23 = C2xDic3.D10 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 240 | | (S3xC10).22C2^3 | 480,1116 |
(S3xC10).23C23 = C15:2+ 1+4 | φ: C23/C2 → C22 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).23C2^3 | 480,1125 |
(S3xC10).24C23 = C2xD20:5S3 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).24C2^3 | 480,1074 |
(S3xC10).25C23 = C2xS3xDic10 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).25C2^3 | 480,1078 |
(S3xC10).26C23 = C2xD60:C2 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).26C2^3 | 480,1081 |
(S3xC10).27C23 = C2xD6.D10 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).27C2^3 | 480,1083 |
(S3xC10).28C23 = S3xC2xC4xD5 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | | (S3xC10).28C2^3 | 480,1086 |
(S3xC10).29C23 = C2xS3xD20 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | | (S3xC10).29C2^3 | 480,1088 |
(S3xC10).30C23 = S3xC4oD20 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).30C2^3 | 480,1091 |
(S3xC10).31C23 = D20.29D6 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | 8- | (S3xC10).31C2^3 | 480,1104 |
(S3xC10).32C23 = C30.33C24 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | 8+ | (S3xC10).32C2^3 | 480,1105 |
(S3xC10).33C23 = S3xQ8xD5 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | 8- | (S3xC10).33C2^3 | 480,1107 |
(S3xC10).34C23 = S3xQ8:2D5 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | 8+ | (S3xC10).34C2^3 | 480,1109 |
(S3xC10).35C23 = C22xS3xDic5 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).35C2^3 | 480,1115 |
(S3xC10).36C23 = C10xC4oD12 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).36C2^3 | 480,1153 |
(S3xC10).37C23 = C10xD4:2S3 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).37C2^3 | 480,1155 |
(S3xC10).38C23 = C5xD4:6D6 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).38C2^3 | 480,1156 |
(S3xC10).39C23 = C10xQ8:3S3 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | | (S3xC10).39C2^3 | 480,1158 |
(S3xC10).40C23 = C5xQ8.15D6 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | 4 | (S3xC10).40C2^3 | 480,1159 |
(S3xC10).41C23 = C5xS3xC4oD4 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).41C2^3 | 480,1160 |
(S3xC10).42C23 = C5xD4oD12 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 120 | 4 | (S3xC10).42C2^3 | 480,1161 |
(S3xC10).43C23 = C5xQ8oD12 | φ: C23/C22 → C2 ⊆ Out S3xC10 | 240 | 4 | (S3xC10).43C2^3 | 480,1162 |
(S3xC10).44C23 = S3xC22xC20 | φ: trivial image | 240 | | (S3xC10).44C2^3 | 480,1151 |
(S3xC10).45C23 = S3xQ8xC10 | φ: trivial image | 240 | | (S3xC10).45C2^3 | 480,1157 |